Adding Context to Knowledge and Action Bases

نویسندگان

  • Diego Calvanese
  • Ismail Ilkan Ceylan
  • Marco Montali
  • Ario Santoso
چکیده

Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, we enrich the KAB setting with contextual information, making use of different context dimensions. On the one hand, context is determined by the environment using context-changing actions that make use of the current state of the KB and the current context. On the other hand, it affects the set of TBox assertions that are relevant at each time point, and that have to be considered when processing queries posed over the KAB. Here we extend to our enriched setting the results on verification of rich temporal properties expressed in mu-calculus, which had been established for standard KABs. Specifically, we show that under a run-boundedness condition, verification stays decidable.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Introducing Context into RDF Knowledge Bases

Large-scale knowledge representation (KR) with RDF unveils shortcomings which become obvious when facts have to be further qualified with contextual aspects to represent anything else but simplistic binary predicates. Motivated by requirements in the Vikef project, in which we are required to store a large amount of information extracted from a heterogeneous set of documents and encoded in RDF ...

متن کامل

Verification of Context-Sensitive Knowledge and Action Bases

Abstract. Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, we enrich the KAB setting with contextual information, making use of different context dimensions. On the one hand, context is determined by the environment using con...

متن کامل

ar X iv : 1 10 7 . 20 88 v 1 [ cs . A I ] 1 1 Ju l 2 01 1 Advancing Multi - Context Systems by Inconsistency Management

Multi-Context Systems are an expressive formalism to model (possibly) non-monotonic information exchange between heterogeneous knowledge bases. Such information exchange, however, often comes with unforseen side-effects leading to violation of constraints, making the system inconsistent, and thus unusable. Although there are many approaches to assess and repair a single inconsistent knowledge b...

متن کامل

“Seeing” the Difference: The Importance of Visibility and Action as a Mark of “Authenticity” in Co-production; Comment on “Collaboration and Co-production of Knowledge in Healthcare: Opportunities and Challenges”

The Rycroft-Malone paper states that co-production relies on ‘authentic’ collaboration as a context for action. Our commentary supports and extends this assertion. We suggest that ‘authentic’ co-production involves processes where participants can ‘see’ the difference that they have made within the project and beyond. We provide examples including: the use of design in health projects which see...

متن کامل

A Knowledge-Rich Approach to Understanding Text about Aircraft Systems

As part of a longer-term goal to construct an aerospace knowledgebase (KB), we are developing techniques for interpreting text about aircraft systems and then adding those interpretations to the KB. A major challenge in this task is that much of what is written builds on unstated, shared, general knowledge about aircraft, and such prior knowledge is needed to fully understand the text. To addre...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1412.7965  شماره 

صفحات  -

تاریخ انتشار 2014